python regular expression that ends with a character